A Logical Relation for Monadic Encapsulation of State
#論文
https://iris-project.org/pdfs/2018-popl-runST-final.pdf
ST sのsはヒープに付けられた名前と解釈できる